決定可能性 (decidability)
實效性
決定可能性 - Wikipedia
Decidability (logic) - Wikipedia
形式體系
$ T
の定理
$ A
は有限の資源と有限の手順で證明できる。
計算可能性 (computability)
を持つ證明
$ T\vdash A
が在る